intuitionist logic การใช้

• Kleene and Vesley ( 1965 ) is the classic American introduction to intuitionist logic and mathematics.
• He specialised initially in logic, publishing books on " Intuitionism " and " Intuitionist logic ".
• Heyting algebras satisfying the above properties are related to De Morgan logic in the same way Heyting algebras in general are related to intuitionist logic.